/*
 * This random.c's header
 */

void
randomize(void);

double
randNormalize(void);


int
randInt(int a, int b);

double
randReal(double a, double b);


